Psychology Dictionary of ArgumentsHome | |||
| |||
Inserting: in a formula an icon can be replaced under certain conditions by another icon. E.g. inserting a constant for a variable will make a propositional function become a sentence. See also substitutability, substitution, validity, statements, propositional functions._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Gottlob Frege on Substitution (Insertion) - Dictionary of Arguments
Berka I 100 Inserting/substitution/Frege: in the expression F(A) ("function of A") F occurs at one point and we can think of it as replaced by other characters Y, X. There (this would have other functions of the argument A), we can interpret F(A) as a function of the argument F.(1)- ((s) On the argument place of F something else is inserted.) >Function. 1. G. Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle 1879, Neudruck in: Ders. Begriffsschrift und andere Aufsätze, hrsg. v. J. Agnelli, Hildesheim 1964_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F II G. Frege Funktion, Begriff, Bedeutung Göttingen 1994 F IV G. Frege Logische Untersuchungen Göttingen 1993 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |